Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
WeiterlesenFocusses specifically on topics that are important in three-dimensional modelling, surface design and real-time character ...
WeiterlesenThis book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
WeiterlesenThis book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
WeiterlesenThe primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...
WeiterlesenThis book - in conjunction with the two volumes CCIS 0015 and LNCS 5226 - constitutes the refereed proceedings of the 4th ...
WeiterlesenThis book - in conjunction with the two volumes CCIS 0015 and LNAI 5226 - constitutes the refereed proceedings of the 4th ...
WeiterlesenThis book constitutes the refereed proceedings of the 11th Ibero-American Conference on Artificial Intelligence, IBERAMIA ...
WeiterlesenThis book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held ...
WeiterlesenThe two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ...
WeiterlesenThe two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ...
WeiterlesenThis tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software ...
WeiterlesenThe two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual ...
WeiterlesenThe two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual ...
WeiterlesenThis volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...
WeiterlesenThis book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
WeiterlesenThis book constitutes the reviewed proceedings of the Fourth International Workshop on Algorithmic Aspects of Wireless Sensor ...
WeiterlesenThis book constitutes the refereed proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, ...
WeiterlesenThis book constitutes the refereed proceedings of the 8th International Conference on Algorithms and Architectures for Parallel ...
WeiterlesenThis book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical ...
Weiterlesen